1. Logic for applications
Author: Nerode, Anil
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics,، Logic, Symboloc and mathematical
Classification :
QA
76
.
9
.
M35
.
N47
1997
